f : (Str, Str)a -> (Str, Str)a
f = |x| x

f (1, 2)